vsf_add_sources(
    vsf_hal_distbus_gpio.c
)
